Do modals take propositions or sets of propositions? Evidence from Japanese darou

Do Indicative Conditionals Express Propositions?

In this paper I will focus on the question of what theoretical object we should use to represent the meaning of certain sentences. In particular, I will focus on the question of whether we should use propositions to represent the meaning of indicative conditionals. Before getting into this question I’ll try to locate it in the broader scheme of things. In recent years, the so-called semantic/pr...

Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview

Hierarchical Propositions

The notion of a proposition plays a central role in the philosophy of mind (through the notion of a propositional attitude) and the philosophy of language (through the theory of speech acts). However, as we have known for a long time, it is subject to paradoxes. A natural response is to stratify propositions into some sort of hierarchy; and, ever since Russell proposed his ‘ramified theory of t...

Object Propositions

The presence of aliasing makes modular veri cation of objectoriented code di cult. If multiple clients depend on the properties of an object, one client may break a property that others depend on. We have developed a modular veri cation approach based on the novel abstraction of object propositions, which combine predicates and information about object aliasing. In our methodology, even if shar...

Hyperintensional propositions

Propositions play a central role in contemporary semantics. On the Russellian account, propositions are structured entities containing particulars, properties and relations. This contrasts sharply with the sets-of-possible-worlds view of propositions. I’ll discuss how to extend the sets-of-worlds view to accommodate ne-grained hyperintensional contents. When this is done in a satisfactory way, ...